--------------------------------------------------------------------------------

--                                                                            --

--                  R A T I O N A L _ N U M B E R S                           --

--                  . R E D U C I N G R E L A T I O N S         --

--                                                                            --

--                                  S p e c                                   --

--                                                                            --

--------------------------------------------------------------------------------

private generic
  with function Relation (X, Y : Rational) return Boolean ;
function Rational_Numbers.Reducing_Relation (X, Y : Rational) return Boolean;
